1. Explosion, shock wave and hypervelocity phenomena in materials: proceedings of the 1st International Symposium on Explosion, Shock Wave and Hypervelocity Phenomena )ESHP Symposium(, 15-17 March 2004, Kumamoto, Japan

پدیدآورنده :

کتابخانه: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)

موضوع : Congresses ، Explosions,Congresses ، Shock waves,Congresses ، Impact

رده :
TA
401
.
M365
V
.
465/466
2004

2. Japanese society and lay participation in criminal justice :

پدیدآورنده :

کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)

موضوع : Criminal justice, Administration of-- Japan-- Citizen participation.,Criminal justice, Administration of-- Citizen participation.,SOCIAL SCIENCE-- Criminology.,Japan., 7

رده :
HV9960
.
J3
F85
2018eb

3. Local electronic government :

پدیدآورنده :

کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)

موضوع : Comparative government.,Internet in public administration.,Local government.,Comparative government.,Internet in public administration.,Local government.,POLITICAL SCIENCE-- Public Affairs & Administration.

رده :
JS100
.
L63
2005eb

4. Micro and nano technologies in bioanalysis :

پدیدآورنده :

کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)

موضوع : Microfluidics,Nanotechnology,Microfluidics-- methods, Laboratory Manuals,Nanotechnology-- methods, Laboratory Manuals

رده :
R857
.
M53
2009

5. Practical design verification /

پدیدآورنده :

کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)

موضوع : Integrated circuits-- Verification.,Integrated circuits-- Verification.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- General.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- Integrated.

رده :
TK7874
.
58
.
P73
2009eb

6. Representations of discrete functions

کتابخانه: Central Library of Sharif University of Technology (Tehran)

موضوع : ، Integrated circuits-- Very large scale integration-- Design-- Data processing,، Computer-aided design,، Computable functions-- Data processing,، Logic design

رده :
TK
7874
.
75
.
R47
1996

7. SoC :-VLSI

کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)

موضوع : Integrated circuits ; Very large scale integration ; Congresses. ;

8. VLSI-SoC :

پدیدآورنده :

کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)

موضوع : Computer network architectures, Congresses.,Integrated circuits-- Very large scale integration, Congresses.,Internet of things, Congresses.,Systems on a chip, Congresses.,Computer network architectures.,Integrated circuits-- Very large scale integration.,Internet of things.,Systems on a chip.

رده :
TK7874
.
75
.
I34
2018

9. Verification techniques for system-level design

پدیدآورنده :

کتابخانه: Central Library of Sharif University of Technology (Tehran)

موضوع : ، Systems on a chip-- Testing,، Integrated circuits-- Verification,، Formal methods )Computer science(

رده :
TK
7895
.
E42
.
F95
2008

10. Verification techniques for system-level design /

پدیدآورنده :

کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)

موضوع : Formal methods (Computer science),Integrated circuits-- Verification.,Systems on a chip-- Testing.,Formal methods (Computer science),Formal methods (Computer science),Integrated circuits-- Verification.,Integrated circuits-- Verification.,Systems on a chip-- Testing.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- General.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- Integrated.

رده :
TK7895
.
E42
F95
2008eb

11. Verification techniques for system-level design

پدیدآورنده :

کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)

موضوع : Testing ، Systems on a chip,، Integrated circuits -- Verification,، Formal methods )Computer science(

رده :
TK
7895
.
E42F84